Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
401	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
402	Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Formal methods Functional languages Cross-platform software Automated theorem proving ACL2 Common Lisp Formal verification Lisp Software engineering Computing Computer programming
403	using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Gudmund Grov, Andrew Ireland & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Mathematical proof Theorem KeY Logic Automated theorem proving Mathematics
404	ANSI-ASQ National Accreditation Board/ACLASS 500 Montgomery St. Suite 625│ Alexandria, VA 22314│[removed] │ _www.aclasscorp.com_ Add to Reading List Source URL: search.anab.org Language: English - Date: 2015-01-09 11:07:01 Electronic test equipment Laboratory equipment Line Impedance Stabilization Network Government ISO/IEC 17025 Electromagnetic interference Not-To-Exceed Federal Communications Commission Resolution Technology Electronics Automated theorem proving
405	Report from Dagstuhl Seminar[removed]AI meets Formal Software Development Edited by Alan Bundy1 , Dieter Hutter2 , Cliff B. Jones3 , and Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-10-05 02:45:26 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Automated reasoning ACL2 Formal verification Isabelle Theoretical computer science Mathematical software Automated theorem proving
406	Toward a Practical Module System for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, Massachusetts, U.S.A. {cce, matthias}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Holism ACL2 Formal methods Model theory Automated theorem proving Nqthm Common Lisp Modular programming Software engineering Computer programming Computing
407	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods
408	Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨ Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-06-02 05:55:58 Automated theorem proving Logical syntax Functional languages Proof assistant Isabelle Theorem prover Coq Mathematical proof IP Software Logic Theoretical computer science
409	Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling IsaPlanner Mathematical proof Formal methods Theorem Formal proof Isabelle Logic Automated theorem proving Mathematics
410	First-order theorem proving in the exploration of Andrews-Curtis conjecture Alexei Lisitsa The University of Liverpool ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2013-04-02 18:41:25 Andrews–Curtis conjecture Nielsen transformation Counterexample Automated theorem proving Conjectures Mathematics Combinatorial group theory

UPDATE